DO-178B相关论文
DO-178B标准是针对民用飞机机载系统和设备软件质量控制的指导性文件,并经历了近三十年的实践。本文对DO-178B标准中描述的软件验......
本课题中,研发通用飞机的自动驾驶仪的软件部分主要利用SIMULNK CODER自动代码生成工具实现自动生成。传统的软件开发过程主要依靠......
近年来,机载软件的安全性问题日趋严重;文中针对航空机载软件的领域特点,着重研究机载软件安全性关键技术的应用,并与软件过程管理......
结构覆盖分析(SCA)是基于DO - 178B的软件验证的重要组成部分.由于DO - 178B仅提出目标活动要求,不提供具体的工程技术方法,如何进......
随着民用机载系统复杂性的不断提高,软件工具在机载软件系统开发中被越来越广泛地使用。从适航合格审定角度探讨了软件工具在民用......
本文以DO-178B和GJB5000A三级为指导?,结合CMMI三级关键过程域实践,针对航空机载软件的特点,从数据管理、构型管理、业务过程管理......
针对我国民用飞机研制过程中,基于模型的机载软件开发技术进行研究,通过一种基于模型的开发工具,建立了一个机载软件模块的模型,在......
主要讲述软件的耦合性分析,并介绍了耦合性度量的方法。在民用飞机简图页软件的开发工作中,为了确保软件运行的可靠性以及根据DO-1......
随着民用飞机机载软件研制过程规范化,软件需求的开发的流程化能够提高适航的置信度....
针对DO~178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成......
阐述了安全性对于航空产品的重要性,描述了当前航空产品合格审定现状及差距,形象解释了DO-178B的内容、开发流程及基本要素。结合......
在民用飞机机载软件研制过程中,各种商用货架软件工具和自研软件工具被广泛运用到软件研制中。基于DO-178B工具鉴定要求,介绍了商用......
摘 要:软件配置管理作为软件开发过程中一个重要的过程,对航空软件产品的安全性和可靠性有着至关重要的作用。本文以DO-178B为指导,结......
【摘要】提出了一种对编译器产生的目标代码覆盖率的分析方法。传统的结构化语言的覆盖技术使用的是源代码级的,无法对编译器产生的......
本文介绍了软件界影响最为广泛、也最著名的软件开发成本估算模型COCOMO,并且根据软件测试工作成本难以估算的特点,将COCOMO估算模......
软件配置管理作为软件开发过程中的一个重要过程受到越来越多人的重视。文章从民机机载软件的特点入手,提出了一套符合民机机载软......
在机载软件研制过程中将GJB5000A与DO-178B进行结合实施对提高软件安全性和可靠性有着重要意义。首先对GJB5000A和DO-178B进行了介......
DO-178B中提出的指导性材料,已经被民用航空业界和各国适航当局公认为可用以建立特定机载软件达到其预期设计需求的置信度。本文基......
深刻理解DO-178 C标准对于提升机载软件开发能力具有重要意义。分别从软件生存周期过程活动和过程目标两个维度对比和分析DO-178 C......
本文从软件可靠性工程角度,对DO-178B的研制流程进行解读,分析DO-178B中所包含的避错、消错和容错的机载软件可靠性设计技术。分析......
民用飞机机载软件开发过程需遵循DO-178B标准已得到适航当局和工业界普遍认可,如何对机载软件开发过程进行评估,以确保其满足DO-17......
近几年,GJB 5000A大力推行,很多军工企业已经完成了一定成熟度等级的体系认证工作,并在软件项目中贯彻实施;而适航思想在军用航空......
DO-178B自1992年颁发以来,一直作为航空业普遍认可的机载软件设计保证指南,FAA、EASA和CAAC等民航当局在对含软件的机载系统和设备......
本文首先介绍民用飞机机载软件的适航认证标准DO-178B;其次介绍了一套空气管理系统及其控制器机载软件,并以这套机载软件研制过程......
针对国内大飞机及新一代战机机栽软件综合化、模块化的特点,根据机载软件适航验证要求,在分析传统黑、白盒测试方法与DO-17813《机载......
为了满足机载软件适航认证的迫切需求,对机载软件适航认证标准进行分析研究。阐述了DO-178B的发展动因及过程,总结了随着软件开发技......
为了开发出一份满足适航标准DO-178B要求的机载软件需求规格说明书,在介绍DO-178B对机载软件需求的要求和指出机载软件需求存在问题......
本文首先介绍民用飞机机载软硬件的适航认证标准,重点介绍DO-178B;其次介绍了空气管理系统及其对应的机载软件,并以这套机载软件研......
从标准本身出发,选取重点过程,横向比较DO-178B和DO-254两份标准在设计保证等级C级层面的主要差异点,并对两份标准中的重点差异方......
在Do-178B以及Do-178C对于Do-178B进行修改的部分内容基础上,对于模型的测试进行研究,其主要研究内容有:模型验证过程、模拟用例、......
机载软件具有实时性、高可靠性、嵌入式的特点。软件的特殊性,给机载软件验证带来了严峻的挑战。本文首先研究了软件验证现状以及......
动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的......
本文针对机载软件研制流程,分析了机载软件适航审查,包括4个阶段:软件计划阶段评审(SOI#1)、软件开发阶段评审(SOI#2)、软件验证阶段评审(S......
先前开发的机载软件在民用航空领域获得了越来越广泛的使用,随之而来的适航问题也越发突出。本文结合国际相关指导性文件以及型号......
取得适航证是商用飞机能否投入商业运营的前提。随着"十一五"期间我国大型商用飞机计划的开展,整机制造商明确要求系统供应商供应......
随着民用飞机机载软件研制过程工具化自动化程度的提高,软件生命周期工程环境的建立必须从多方面进行权衡考虑.从适航合格审定角度......
针对无人机用大气数据计算机,为使其满足适航审定要求,提出基于模型的实现方法。首先介绍了大气数据计算机获取适航的方式,并以获......
近年来,机载软件的安全性问题日趋严重;文中针对航空机载软件的领域特点,着重研究机载软件安全性关键技术的应用,并与软件过程管理方法......
航空电子系统是一个包含座舱显示、飞行管理和通讯及导航等功能的复杂系统。目前国内在民机显示系统软件开发实际工程中采用以代码......
针对当前航空机载设备或系统研制单位普遍在实施航空软件研制过程标准化工作的实际情况,分析探讨了DO-178B标准及GJB5000A标准在实......
引言:在过去20多年时间里航空机载电子设备得到了飞速的发展,软件在整个电子设备中占的比重越来越大,在机载系统的研制过程中的地......
为了满足适航要求,航空机载系统软件测试需要遵循DO-178B的要求;然而,传统的软件测试技术和过程并不能完全适应适航标准的要求;同......
嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分......